2

The double negation of the intermediate value theorem

Year:
2010
Language:
english
File:
PDF, 525 KB
english, 2010
42

Decidability and Specker sequences in intuitionistic mathematics

Year:
2009
Language:
english
File:
PDF, 123 KB
english, 2009
44

A New azacyanocarbon, C4N4: tricyanomethanimine

Year:
1988
Language:
english
File:
PDF, 170 KB
english, 1988
48

On the constructive notion of closure maps

Year:
2012
Language:
english
File:
PDF, 154 KB
english, 2012
49

A novel synthesis for new substituted imidazoles

Year:
2008
Language:
english
File:
PDF, 550 KB
english, 2008